Coco – Solving the Expression Problem in Standard OO (Java, C#, Scala, ..)
drops.dagstuhl.de·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Faux Type Theory: three minimalist OCaml simple proof checker implementations
github.com·15h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Issue 489
haskellweekly.news·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Death to Type Classes
jappie.me·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
A Positive Lambda: '+[]{}'
stackoverflow.com·1d·
Discuss: Lobsters, Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
The Capability-Tractability Tradeoff (2023)
buttondown.com·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Effects as Capabilities in Scala
nrinaudo.github.io·3d·
Discuss: Lobsters, Hacker News, r/programming
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Polymorphic symmetric multiple dispatch with variance
dl.acm.org·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Object Reorientation: Generic Functions
gigamonkeys.com·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Choosing Rust for LLM-generated code
runmat.org·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Energy-Based Transformers Are Scalable Learners and Thinkers
alexiglad.github.io·4h·
Discuss: Hacker News
⚡Hardware Acceleration
Sharing what I learned about Rust functions and closures
blog.cuongle.dev·3d·
Discuss: Hacker News, r/rust
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Learning to fuzz with LibAFL by solving puzzles
github.com·4h·
Discuss: Lobsters, Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
MiniRust
github.com·22h·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Go channels to solve interface impedance mismatch
dolthub.com·1d·
Discuss: Hacker News, r/golang
⚡Async Programming
LLM-Generated Rules Engines for LLM Explainability
brain.co·1d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
An introduction to program synthesis
mchav.github.io·1d·
Discuss: Hacker News, r/programming
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Keeping Things Expressive When DataFrames Are Involved
simplethread.com·23h·
Discuss: Hacker News
⚡Async Programming
Prototype Pollution in Python (2023)
blog.abdulrah33m.com·2d·
Discuss: Hacker News
🤖AI, Rust, Python, Go, TypeScript, Software Architecture, Microservices, Embedded, System
Defeating Nondeterminism in LLM Inference
thinkingmachines.ai·3d·
Discuss: Lobsters, Hacker News, r/LocalLLaMA, r/programming
⚡Async Programming